Thanks for opening this pull request! 🎉
Please consult the contributing guidelines for details on how to contribute to this project.
If you need any assistance, don't hesitate to ping the relevant owner over Discord.

Thanks for contributing, @Chriscbr! This PR will now be added to the merge queue, or immediately merged if rybickic/type-reflection is up-to-date with main and the queue is empty.

@eladb An extra note...

There's really two kinds of reflection that we could imagine supporting.

In the examples I've shown in the RFC, a specific type is always given to the function. This is pretty powerful, as the examples show. It's less risky to implement since the Type value that's returned is known by the time the JavaScript is generated.

But one could imagine a more powerful reflection macro that lets you pass an arbitrary value/variable. (It could be a separate macro like @typeOf(...), or it could be part of the same macro). I think this macro would be more tricky to implement since it could requires more cross-cutting changes to our code generation (say, by annotating preflight values with type info via hidden properties or something like that...), though it would be mighty cool.

Congrats! 🚀 This was released in Wing 0.85.12.